/**
 * \file kernel/include/main.h
 * \author Davide Gessa
 * \date 10-12-09
 */

#ifndef MAIN_H
#define MAIN_H

#include <multiboot.h>

/**
 * Nome del kernel
 */
#define NAME	"microkernel"

/**
 * Versione del kernel
 */
#define VER		"0.0.1"

/**
 * Revision del kernel
 */
#define REV		"r51"

/**
 * Stato del debug tracer
 */
#define DEBUG
#define DEBUG_REG_TRAC

/**
 * Nome dell'architettura
 */
char ARCH[16];

int main(multiboot_info_t *);
void shutdown();

#endif
